modus ponens and modus tollens
肯定前件假言推理和否定后件假言推理
热门查询
- spinneret n. [纺] 喷丝头；[昆] 吐丝器
- cementation n. 黏结；水泥接合；渗碳处理
- tied up na. “tie up”的过去分词和过去式 [网络] 给套住；绑起来；被捆绑
- wrench n. 扳手，扳钳；扭伤；痛苦；歪曲；猛扭 vt. 扭伤；猛扭；曲解；折磨 vi. 扭伤；猛扭；猛绞 n. (Wrench)人名；(英)伦奇
- patch n. 眼罩；斑点；碎片；小块土地 vi. 打补丁 vt. 修补；解决；掩饰 n. (Patch)人名；(英)帕奇
- bellow n. 吼叫声；轰鸣声 vi. 吼叫；怒吼；咆哮 vt. 大声喊叫；大声发出 n. (Bellow)人名；(英)贝洛
- tease vt. 取笑；戏弄；梳理；欺负；强求；使起毛 n. 戏弄；爱纠缠的小孩；挑逗者；卖弄风骚的女孩 vi. 取笑
- untalented adj. 缺乏才能的，没有才干的；没有天赋的；不聪明的
- Smallwood [人名] [英格兰人姓氏] 斯莫尔伍德住所名称，来源于古英语，含义是“狭窄的+树林”(narrow +wood)
- allude vi. 暗指，转弯抹角地说到；略为提及，顺便提到
- multiplicative adj. [数] 乘法的；增加的 n. 乘法；倍数词
- ARS n. <拉>艺术，砷的，与砷有关的
- mullioned adj. 有竖框的
- festively 节日地 欢庆地
- become vt. 适合；相称 vi. 成为；变得；变成
- ebullient adj. 热情洋溢的；沸腾的
- infighting n. 暗斗；混战；接近战 v. 暗斗（infight的ing形式）；近击
- stacey n. 史黛丝（女子名）
- costumier n. 服饰供应商
- Fortran abbr. 公式翻译程式语言（formula translator）
考试词汇表
- for no good reason
- for old sakes sake
- for old times'sake
- for one's own good
- for one's own hand
- for one's own sake
- for one's very own
- for optical system
- for power switches
- for reference only
- for sail equipment
- for sb's eyes only
- for solid material
- for some time past
- for someone's sake
- for special sports
- for stapling tools
- for tablet binding
- for telephone sets
- for the account of
